利用定理 3.3.1, 有
令
, 则
从而得到正项级数有界从而收敛, 并且
.